Palamidessi, A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Constructing elastic distinguishability metrics for location privacy

Chatzikokolakis, Konstantinos, Palamidessi, Catuscia, Stronati, Marco

Journal:

Proceedings on Privacy Enhancing Technologies

Year:

2015

Language:

english

File:

PDF, 1.79 MB

english, 2015

2

Comments on “logic programming with equations”

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi

Journal:

The Journal of Logic Programming

Year:

1991

Language:

english

File:

PDF, 343 KB

english, 1991

3

[Lecture Notes in Computer Science] Principles of Declarative Programming Volume 1490 || Integrating constraint propagation in complete solving of linear diophantine systems

Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl

Year:

1998

Language:

english

File:

PDF, 978 KB

english, 1998

4

Is cell migration a selectable trait in the natural evolution of cancer development?

Disanza, Andrea, Bisi, Sara, Frittoli, Emanuela, Malinverno, Chiara, Marchesi, Stefano, Palamidessi, Andrea, Rizvi, Abrar, Scita, Giorgio

Journal:

Philosophical Transactions Biological Sciences

Year:

2019

Language:

english

File:

PDF, 1.37 MB

english, 2019

5

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Comparing the expressive power of the synchronous and the asynchronous π-calculus

Palamidessi, Catuscia

Year:

1997

File:

PDF, 799 KB

1997

6

[Lecture Notes in Computer Science] Principles of Declarative Programming Volume 1490 || Controlling search in declarative programs

Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl

Year:

1998

Language:

english

File:

PDF, 1.06 MB

english, 1998

7

Encoding Transition Systems in Sequent Calculus: Preliminary Report

Raymond McDowell, Dale Miller, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 799 KB

english, 1996

8

On the Expressive Power of Temporal Concurrent Constraint Programming Languages: (invited talk)

Catuscia Palamidessi, Mogens Nielsen, Frank D. Valencia

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 30 KB

english, 2002

9

Vertigoby Louise DeSalvo

Review by: CHRISTINE PALAMIDESSI MOORE

Journal:

Italian Americana

Year:

1997

Language:

english

File:

PDF, 289 KB

english, 1997

10

Encoding transition systems in sequent calculus

Raymond McDowell, Dale Miller, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 243 KB

english, 2003

11

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 3580 || Approximation Algorithms for Euclidean Group TSP

Caires, Luís, Italiano, Giuseppe F., Monteiro, Luís, Palamidessi, Catuscia, Yung, Moti

Year:

2005

Language:

english

File:

PDF, 207 KB

english, 2005

12

A quantitative doxastic logic for probabilistic processes and applications to information-hiding

Kramer, Simon, Palamidessi, Catuscia, Segala, Roberto, Turrini, Andrea, Braun, Christelle

Journal:

Journal of Applied Non-Classical Logics

Year:

2009

Language:

english

File:

PDF, 333 KB

english, 2009

13

A RAB35-p85/PI3K axis controls oscillatory apical protrusions required for efficient chemotactic migration

Salvatore, Corallino, Malinverno, Chiara, Neumann, Beate, Tischer, Christian, Palamidessi, Andrea, Frittoli, Emanuela, Panagiotakopoulou, Magdalini, Disanza, Andrea, Malet-Engra, Gema, Nastaly, Paulin

Journal:

Nature Communications

Year:

2018

Language:

english

File:

PDF, 7.43 MB

english, 2018

14

[IEEE [Conference Record] GLOBECOM '92 - Communications for Global Users: IEEE - Orlando, FL, USA (6-9 Dec. 1992)] [Conference Record] GLOBECOM '92 - Communications for Global Users: IEEE - Planning of high-speed SDH systems in the Italian trunk network

Mazzei, U., Palamidessi, A.

Year:

1992

Language:

english

File:

PDF, 433 KB

english, 1992

15

[Lecture Notes in Computer Science] Logic Programming Volume 2916 || A Distinct-Head Folding Rule

Palamidessi, Catuscia

Year:

2003

Language:

english

File:

PDF, 66 KB

english, 2003

16

Anonymity protocols as noisy channels

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 368 KB

english, 2008

17

Meeting Dario Fo

CHRISTINE PALAMIDESSI MOORE

Journal:

Italian Americana

Year:

1999

Language:

english

File:

PDF, 319 KB

english, 1999

18

Preface

Daniele Gorla, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 99 KB

english, 2007

19

Weak Probabilistic Anonymity

Yuxin Deng, Catuscia Palamidessi, Jun Pang

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 439 KB

english, 2007

20

[Lecture Notes in Computer Science] Theory of Security and Applications Volume 6993 ||

Mödersheim, Sebastian, Palamidessi, Catuscia

Year:

2012

Language:

english

File:

PDF, 3.05 MB

english, 2012

21

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 3580 || Classification of Boolean Functions of 6 Variables or Less with Respect to Some Cryptographic Properties

Caires, Luís, Italiano, Giuseppe F., Monteiro, Luís, Palamidessi, Catuscia, Yung, Moti

Year:

2005

Language:

english

File:

PDF, 191 KB

english, 2005

22

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Probabilistic Information Flow

Alvim, Mário S., Andrés, Miguel E., Palamidessi, Catus

Year:

2010

Language:

english

File:

PDF, 212 KB

english, 2010

23

Feline leukaemia virus (FeLV) and feline immunodeficiency virus infections in cats in the Pisa district of Tuscany, and attempts to control FeLV infection in a colony of domestic cats by vaccination

Bandecchi, P., Dell'Omodarme, M., Magi, M., Palamidessi, A., Prati, M. C.

Journal:

Veterinary Record

Year:

2006

Language:

english

File:

PDF, 96 KB

english, 2006

24

[ACM Press the 4th ACM SIGPLAN international conference - Pittsburgh, PA, USA (2002.10.06-2002.10.08)] Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '02 - On the expressive power of temporal concurrent constraint programming languages

Nielsen, Mogens, Palamidessi, Catuscia, Valencia, Frank D.

Year:

2002

Language:

english

File:

PDF, 320 KB

english, 2002

25

[IEEE 2014 IEEE 27th Computer Security Foundations Symposium (CSF) - Vienna (2014.7.19-2014.7.22)] 2014 IEEE 27th Computer Security Foundations Symposium - Additive and Multiplicative Notions of Leakage, and Their Capacities

Alvim, Mario S., Chatzikokolakis, Konstantinos, Mciver, Annabelle, Morgan, Carroll, Palamidessi, Catuscia, Smith, Geoffrey

Year:

2014

Language:

english

File:

PDF, 320 KB

english, 2014

26

Semantic models for concurrent logic languages

F.S. de Boer, J.J.M.M. Rutten, J.N. Kok, C. Palamidessi

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 2.06 MB

english, 1991

27

Metrics for Action-labelled Quantitative Transition Systems

Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 347 KB

english, 2006

28

L-Proline Induces a Mesenchymal-like Invasive Program in Embryonic Stem Cells by Remodeling H3K9 and H3K36 Methylation

Comes, Stefania, Gagliardi, Miriam, Laprano, Nicola, Fico, Annalisa, Cimmino, Amelia, Palamidessi, Andrea, De Cesare, Dario, De Falco, Sandro, Angelini, Claudia, Scita, Giorgio, Patriarca, Eduardo J.,

Journal:

Stem Cell Reports

Year:

2013

Language:

english

File:

PDF, 3.82 MB

english, 2013

29

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 3580 || Distance Constrained Labelings of Graphs of Bounded Treewidth

Caires, Luís, Italiano, Giuseppe F., Monteiro, Luís, Palamidessi, Catuscia, Yung, Moti

Year:

2005

Language:

english

File:

PDF, 203 KB

english, 2005

30

[Lecture Notes in Computer Science] Computational Logic — CL 2000 Volume 1861 || A CLP Framework for Computing Structural Test Data

Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luís Moniz, Sagiv, Yehoshua, Stuckey, Peter J.

Year:

2000

Language:

english

File:

PDF, 216 KB

english, 2000

31

[Lecture Notes in Computer Science] Logic Programming Volume 2916 || Computing Minimal Models, Stable Models, and Answer Sets

Palamidessi, Catuscia

Year:

2003

Language:

english

File:

PDF, 213 KB

english, 2003

32

Probabilistic and Nondeterministic Aspects of Anonymity

Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 220 KB

english, 2006

33

Preface

Giuseppe F. Italiano, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 102 KB

english, 2007

34

Foreword: Volume 7

Catuscia Palamidessi, Joachim Parrow

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 44 KB

english, 1997

35

On 2,5-Dichloropyrazine 1

Palamidessi, Giorgio, Bernardi, Luigi

Journal:

Journal of Organic Chemistry

Year:

1964

Language:

english

File:

PDF, 262 KB

english, 1964

36

[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - A framework for abstract interpretation of timed concurrent constraint programs

Falaschi, Moreno, Olarte, Carlos, Palamidessi, Catuscia

Year:

2009

Language:

english

File:

PDF, 494 KB

english, 2009

37

Compositional methods for information-hiding

CHATZIKOKOLAKIS, KONSTANTINOS, PALAMIDESSI, CATUSCIA, BRAUN, CHRISTELLE

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 240 KB

english, 2016

38

[Lecture Notes in Computer Science] Principles of Declarative Programming Volume 1490 || Encapsulating data in logic programming via categorical constraints

Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl

Year:

1998

Language:

english

File:

PDF, 1.01 MB

english, 1998

39

[Lecture Notes in Computer Science] Principles of Declarative Programming Volume 1490 || Logic programming and model checking

Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl

Year:

1998

Language:

english

File:

PDF, 1.16 MB

english, 1998

40

A Game-Theoretic Approach to Information-Flow Control via Protocol Composition

Alvim, Mário, Chatzikokolakis, Konstantinos, Kawamoto, Yusuke, Palamidessi, Catuscia

Journal:

Year:

2018

File:

PDF, 632 KB

2018

41

1715. Modulation of RAB5A early endosome trafficking in response to Kras mediated macropinocytic fluxes in pancreatic cancer cells

Teske, Christian, Schweitzer, Christine, Palamidessi, Andrea, Aust, Daniela, Scita, Giorgio, Weitz, Jürgen, Welsch, Thilo

Journal:

European Journal of Surgical Oncology (EJSO)

Year:

2018

Language:

english

File:

PDF, 55 KB

english, 2018

42

Kernel-LEAF: A logic plus functional language

Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi

Journal:

Journal of Computer and System Sciences

Year:

1991

Language:

english

File:

PDF, 2.89 MB

english, 1991

43

Anonymity in Probabilistic and Nondeterministic Systems

Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 141 KB

english, 2006

44

A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs

M. Falaschi, G. Levi, M. Martelli, C. Palamidessi

Journal:

Information and Computation

Year:

1993

File:

PDF, 925 KB

1993

45

PREFACE

Catuscia Palamidessi, Joachim Parrow, Rob van Glabbeek

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 40 KB

english, 2000

46

Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators

Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi

Journal:

Information and Computation

Year:

1997

Language:

english

File:

PDF, 445 KB

english, 1997

47

[ACM Press the twentieth annual ACM symposium - Newport, Rhode Island, United States (2001..-..)] Proceedings of the twentieth annual ACM symposium on Principles of distributed computing - PODC '01 - On the generalized dining philosophers problem

Herescu, Oltea Mihaela, Palamidessi, Catuscia

Year:

2001

Language:

english

File:

PDF, 624 KB

english, 2001

48

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 3580 || On the Cover Time of Random Geometric Graphs

Caires, Luís, Italiano, Giuseppe F., Monteiro, Luís, Palamidessi, Catuscia, Yung, Moti

Year:

2005

Language:

english

File:

PDF, 192 KB

english, 2005

49

Card Palace

CHRISTINE PALAMIDESSI MOORE

Journal:

Italian Americana

Year:

2006

Language:

english

File:

PDF, 1000 KB

english, 2006

50

[Lecture Notes in Computer Science] Principles of Declarative Programming Volume 1490 || A framework for bottom up specialisation of logic programs

Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl

Year:

1998

Language:

english

File:

PDF, 1006 KB

english, 1998

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски